Idempotents of double Burnside algebras, L-enriched bisets, and decomposition of p-biset functors
نویسنده
چکیده
Let R be a (unital) commutative ring, andG be a finite group with order invertible in R. We introduce new idempotents εT,S in the double Burnside algebra RB(G,G) of G over R, indexed by conjugacy classes of minimal sections (T, S) of G (i.e. sections such that S ≤ Φ(T )). These idempotents are orthogonal, and their sum is equal to the identity. It follows that for any biset functor F over R, the evaluation F (G) splits as a direct sum of specific R-modules indexed by minimal sections of G, up to conjugation. The restriction of these constructions to the biset category of p-groups, where p is a prime number invertible in R, leads to a decomposition of the category of p-biset functors over R as a direct product of categories FL indexed by atoric p-groups L up to isomorphism. We next introduce the notions of L-enriched biset and L-enriched biset functor for an arbitrary finite group L, and show that for an atoric pgroup L, the category FL is equivalent to the category of L-enriched biset functors defined over elementary abelian p-groups. Finally, the notion of vertex of an indecomposable p-biset functor is introduced (when p ∈ R×), and when R is a field of characteristic different from p, the objects of the category FL are characterized in terms of vertices of their composition factors. AMS subject classification: 18B99, 19A22, 20J15
منابع مشابه
Mackey Functors and Bisets
For any finite group G, we define a bifunctor from the Dress category of finite G-sets to the conjugation biset category, whose objects are subgroups of G, and whose morphisms are generated by certain bifree bisets. Any additive functor from the conjugation biset category to abelian groups yields a Mackey functor by composition. We characterize the Mackey functors which arise in this way.
متن کاملSimple biset functors and double Burnside ring
Let G be a finite group and let k be a field. Our purpose is to investigate the simple modules for the double Burnside ring kB(G,G). It turns out that they are evaluations at G of simple biset functors. For a fixed finite group H, we introduce a suitable bilinear form on kB(G,H) and we prove that the quotient of kB(−, H) by the radical of the bilinear form is a semi-simple functor. This allows ...
متن کامل2 3 Ja n 20 10 MACKEY FUNCTORS AND BISETS
For any finite groupG, we define a bivariant functor from the Dress category of finite G-sets to the conjugation biset category, whose objects are subgroups of G, and whose morphisms are generated by certain bifree bisets. Any additive functor from the conjugation biset category to abelian groups yields a Mackey functor by composition. We characterize the Mackey functors which arise in this way.
متن کامل00 9 Mackey Functors and Bisets
For any finite group G, we define a bifunctor from the Dress category of finite G-sets to the conjugation biset category, whose objects are subgroups of G, and whose morphisms are generated by certain bifree bisets. Any additive functor from the conjugation biset category to abelian groups yields a Mackey functor by composition. We characterize the Mackey functors which arise in this way.
متن کاملRational p-biset functors
In this paper, I give several characterizations of rational biset functors over p-groups, which are independent of the knowledge of genetic bases for p-groups. I also introduce a construction of new biset functors from known ones, which is similar to the Yoneda construction for representable functors, and to the Dress construction for Mackey functors, and I show that this construction preserves...
متن کامل